package gui;

import javax.swing.BorderFactory;
import javax.swing.border.BevelBorder;
import javax.swing.border.Border;
import javax.swing.border.TitledBorder;

import com.mxgraph.swing.mxGraphComponent;
import com.mxgraph.view.mxGraph;

public class GraphView extends mxGraphComponent {

	public GraphView(mxGraph arg0) {
		super(arg0);
		Border border = BorderFactory.createTitledBorder(BorderFactory.createBevelBorder( BevelBorder.LOWERED),
				"Task Graph",TitledBorder.CENTER,TitledBorder.TOP);
		setBorder(border);
		setAutoExtend(true);

	}

}
